List Of Titles

/

Change Site
GlobalView
Default Site
Research Data
Theses

Advanced Search
Expert Search

Sign In

Browse
Quick Collection

Sign In

Help
Search History
Clear Session

Showing items 1 - 2 of 2

Your selections:

model-driven architecture

1automated air traffic control system 1formal specification 1interactive systems 1model-driven development 1temporal logic

1Wallis, Mark

1conference paper 1journal article

Date

12016 12021

Facets

1automated air traffic control system 1formal specification 1interactive systems 1model-driven development 1temporal logic

1Wallis, Mark

1conference paper 1journal article

Date

12016 12021

Title
Creator
Date

Formal specification at model-level of model-driven engineering using modelling techniques

- Jnanamurthy, H. K., Henskens, Frans, Paul, David, Wallis, Mark

Creator: Jnanamurthy, H. K. , Henskens, Frans , Paul, David , Wallis, Mark
Resource Type: journal article
Date: 2021

Verification of interactive automated air traffic control system in a model driven approach

- Jnanamurthy, H. K., Henskens, Frans, Paul, David

Creator: Jnanamurthy, H. K. , Henskens, Frans , Paul, David
Resource Type: conference paper
Date: 2016

1

English (Australia)
English (Australia)
Disclaimer
Privacy
Copyright
Contact
Deposit

About Vital

‹ › ×

Clear Session

Are you sure you would like to clear your session, including search history and login status?